Send the following on WhatsApp
Continue to Chatİ.Şener, Ö.T.Kaymakçı, İ.Üstoğlu, G.Cansever "Specification and Formal Verification of Safety Properties in Point Automation System by Using Timed-Arc Petri Nets"19th IFAC World Congress. Cape Town, South Africa. - https://avesis.yildiz.edu.tr/yayin/e897234d-1894-4a72-9518-da24608ddc70/i-sener-o-t-kaymakci-i-ustoglu-g-cansever-specification-and-formal-verification-of-safety-properties-in-point-automation-system-by-using-timed-arc-petri-nets19th-ifac-world-congress-cape-town-south-africa